postulate
  A : Set
